Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
151	Regular Linear Temporal Logic with Past C´esar S´ anchez1,2 and Martin Leucker3 1 Madrid Institute for Advanced Studies (IMDEA Software), Spain Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07
152	Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Büchi automaton Linear temporal logic Symbol Complementation of Büchi automaton Automata theory Theoretical computer science Formal methods
153	Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Formal languages Logic in computer science Complexity classes Automata theory Temporal logic Linear temporal logic Modal logic Dynamic logic Model checking Theoretical computer science Mathematics Logic
154	The Expressive Power of Memory Logics Carlos Areces Diego Figueira Santiago Figueira Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2011-05-10 14:09:19 Temporal logic Hybrid logic Modal depth Interpretation Artificial neuron Logic Modal logic Epistemic modal logic
155	Why Context Matters in Giving Driving Instructions The Necessity for Representing Decision Points Position paper for workshop Spatial Behavior and Linguistic Representation Andrew U. Frank Add to Reading List Source URL: www.wayfinding.uni-bremen.de Language: English - Date: 2010-04-19 09:20:49 Spatial–temporal reasoning Logic Algorithm Database Science Mathematics Reasoning Educational psychology Qualitative reasoning
156	A Temporal Logic for Hyperproperties Bernd Finkbeiner1 , Markus N. Rabe1 , and César Sánchez2, Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Mathematics Linear temporal logic CTL* Interpretation Computation tree logic Kripke structure Well-formed formula Quantification Model theory Logic Mathematical logic Temporal logic
157	Efficient Regular Linear Temporal Logic using Dualization and Stratification C´esar S´anchez IMDEA Software Institute, Madrid, Spain Institute for Applied Physics, CSIC, Spain Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07
158	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-10-17 10:38:50 Model-based testing Model theory Linear temporal logic Temporal logic Model checking
159	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Linear temporal logic Finite-state machine Symbol Büchi automaton Automata theory Theoretical computer science Formal methods
160	Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-04-18 17:24:35 Mathematical logic Universal quantification Uniform space Linear temporal logic Μ operator Mathematics Function Topology

UPDATE